https://de.frojeostern.com/post/which-fuzz-testing-program-type-defines-new-test-data-based-on-models-of-the-input